Real-Time Systems For Local Intelligence
نویسندگان
چکیده
منابع مشابه
Local Model Checking for Real-Time Systems (Extended Abstract)
We present a local algorithm for model checking in a real-time extension of the modal mu-calculus. As such, the whole state space of the real-time system under investigation need not be explored, but rather only that portion necessary to determine the truthhood of the logical formula. To the best of our knowledge, this is the rst local algorithm for the veriication of real-time systems to appea...
متن کاملTowards a Taxonomy of Real-Time Business Intelligence Systems
As the provisioning of timely business insights becomes increasingly relevant for organizations, realtime business intelligence (RTBI) is considered a promising vehicle to minimize the time span between elicitation, analysis, and subsequent action. However, so far, there seems no structured and systematic taxonomy in which RTBI systems can be classified and uncertainty regarding the dimensions ...
متن کاملReal-time Role Coordination For Ambient Intelligence
We propose group communication for agent coordination within “active rooms” and other pervasive computing scenarios featuring strict real-time requirements, inherently unreliable communication, and a large but continuously changing set of context-aware autonomous systems. Messages are exchanged over multicast channels, which may remind of chat rooms in which everybody hears everything being sai...
متن کاملNondestructive Testing Method in Artificial Intelligence Real Time Systems
Modern sonar and radar measurement systems are widely used in the field of nondestructive testing for a long time. Usually reference signal is emitted towards the object to be investigated and we get a signal, which is the sum of reference signal reflected from different plies. The task of signal processing is to determine time instances corresponding positions of certain ply, which allow analy...
متن کاملStrategic Management for Real-Time Business Intelligence
Even though much research has been devoted on real-time data warehousing, most of it ignores business concerns that underlie all uses of such data. The complete Business Intelligence (BI) problem begins with modeling and analysis of business objectives and specifications, followed by a systematic derivation of real-time BI queries on warehouse data. In this position paper, we motivate the need ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Europhysics News
سال: 1991
ISSN: 0531-7479,1432-1092
DOI: 10.1051/epn/19912202034